1. ......................
Author: ISILC Proof Theory Symposium, University of Kiel
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Proof theory,Bibliography ، Schutte, Kurt
Classification :
QA
3
.
L28
no
.
500
2. <A> Framework for Priority Arguments
Author: / Manuel Lerman
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
Classification :
QA9
,.
54
.
F7
,
L47
2010
3. A bridge to advanced mathematics
Author: Sentilles, Dennis
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory,، Arithmetic-- Foundations
Classification :
QA
9
.
S44
4. A framework for priority arguments
Author: Lerman, Manuel, 3491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
Classification :
QA
9
.
A1L44
Vol
.
34
5. A middle way to God
Author: Hallett, Garth
Library: Special Library of University of Religions (Qom)
Subject: Proof ، God,، Theism,، Other minds )Theory of knowledge(
Classification :
BT
102
.
H336
2003
6. A middle way to God
Author: Garth L. Hallett
Library: State Department Library (Tehran)
Subject: God- Proof,Other minds (Theory of knowledge)
7. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
8. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
9. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
10. Advances in Proof Theory
Author: \ Reinhard Kahle, Thomas Strahm, Thomas Studer Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory -- Congresses.
Classification :
E-Book
,
11. Advances in proof theory
Author: Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Proof theory
Classification :
QA
9
.
54
.
A39
12. An accompaniment to higher mathematics
Author: Exner, George R.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
E96
13. An accompaniment to higher mathematics
Author: Exner, George R.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
E96
1996
14. An introduction to mathematical reasoning :
Author: Peter J. Eccles
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Proof theory
Classification :
QA9
.
54
.
E23
1997
15. An introduction to mathematical reasoning: lectures on numbers, sets, and functions
Author: Eccles, Peter J.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
E23
1997
16. An introduction to mathematical reasoning: numbers, sets and functions
Author: Eccles, Peter J.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
E23
1997
17. An introduction to mathematical reasoning : numbers, sets and functions
Author: Eccles, Peter J., 5491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
E22
18. An introduction to the language of mathematics /
Author: Frédéric Mynard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Proof theory.,Mathematical logic.,Mathematics-- Logic.,Proof theory.
Classification :
QA9
.
54
19. Analysis :
Author: Steven R. Lay.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical analysis.,Proof theory.,Mathematical analysis.,Proof theory.
Classification :
QA300
.
L427
2006
20. Analysis
Author: / Steven R. Lay
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Mathematical analysis,Proof theory
Classification :
QA
300
.
L427
1986
